and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
611	Measuring semantic content in distributional vectors Aur´elie Herbelot EB Kognitionswissenschaft Universit¨at Potsdam Golm, Germany Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-06-18 09:18:55 Linguistics Semantics Computational linguistics Logic Lexical semantics Philosophical logic Statistical theory Hyponymy and hypernymy Distributional semantics Semantic similarity WordNet Word sense
612	Reconstructing Arguments: Formalization and Reflective Equilibrium Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:21 Logic Abstraction Philosophy Arguments Critical thinking Philosophy of language Logical truth Semantics First-order logic Logical form Propositional calculus Meaning
613	Phil 57 (“Logic and Critical Reasoning”) overview Instructor information: Prof. Janet D. Stemwedel Dept. of Philosophy, FOB 232 Email: Office phone: Office Hours: Tu Tham, Add to Reading List Source URL: www.stemwedel.org Language: English - Date: 2010-08-26 13:01:12 Education Philosophy Cognition Critical thinking Logic Arguments Epistemology Thought Reason Fallacy D2L Homework
614	One Is the Loneliest Number: The Acquisition of Spanish Indefinite Un Victoria E. Mateu and Nina Hyams 1. Introduction Various studies have shown that English-speaking children as young as 2 years old assign an exact int Add to Reading List Source URL: www.lingref.com Language: English - Date: 2016-04-14 14:43:36 Linguistics Inference Pragmatics Philosophy of language Logic Numerals Numeral systems Quantification Quantifier Implicature Numeral HinduArabic numeral system
615	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:18 Logic Abstraction Philosophy Philosophy of language Formal languages Grammar Type theory Model theory Proposition Meaning Musical argument Intensifier
616	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
617	256 The Lumiere Project: Bayesian User Modeling for Inferring the Goals and Needs of Software Users Eric Horvitz, Jack Breese, David Heckerman, David Hovel, Koos Rommelset Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-01-31 20:00:15 Statistics Philosophy of science Logic Philosophy Statistical theory Statistical models Statistical inference Bayesian network Bayesian inference Bayesian probability User modeling Probabilistic logic
618	A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:18 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC
619	EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT Minutes of the EUSFLAT General Assembly 2016 Eindhoven, June 21, 2016 The assembly starts at 17:50, ten minutes later than as scheduled. Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2016-07-14 04:29:16 Logic Fuzzy logic Artificial intelligence Logic in computer science European Society for Fuzzy Logic and Technology Philosophy of logic
620	Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 11:55:34 Theoretical computer science Mathematics Mathematical optimization Numerical analysis Combinatorial optimization Operations research Constraint programming Logic in computer science Maximum satisfiability problem Linear programming Constrained optimization Solver

UPDATE